Looking to buy OEM hardtop. Price seems to've gone up in the past few months. Cheapest I can find one is $2,900 shipped. Anyone got a lead on a better deal or has one for sale. Must be absolutely mint, not interested in so-so ones. Also is there enough interest to maybe try to put together some sort of a group buy deal?