About the BPPC, of course it is overclocked as there is no 33 Mhz BPPC sold as you can find on The Big Book, that´s the first place where I look for information when I am not sure about a product. The PPC used to run at 160 Mhz and had a four hour 100% processorload for testing and it worked like a dream. There have been reports about other 160 Mhz PPC´s that have been overclocked to 225 Mhz and still worked very well. The 68040 used to run at 25 Mhz and is now clocked at 33 Mhz. It may survive with a big heatsink but the best thing with an 68040 is indeed always to add a cooler, even on an 25 Mhz one.
The card was working when I sold it to you for 215 Euro including 128 Mb Simm + 64 Mb Simm and including 19 Euro shipping to the USA so from my point of view this was not a high price for a good working BPPC card. I have seen many higher prices being asked at AmiBench and even at Ebay. And just for the record, I am not the type of guy who sells broken cards, there´s no fun in doing that, at least not for me ...