Does anybody in the yard know how many were produced?
I've got a feeling we will see even more for sale in the coming months (from the ones actually needing a higher profit margin).