I just had a look on eBay: mint around USD 1,000, and there is a seller in Malaysia who offers the F6, new in box, for USD 3,000 -I suppose at around the same price as mentioned by shimokita, above. I don't know the Malaysian seller, but he's been offering the F6 for quite a long time.
I am not tempted since I have the Canon EOS 5, which I bought many moons ago on a whim at Heathrow Airport, en-route to the Great Lakes Region of Africa. The prints are nice but in storage. I'll scan & share them whenever we are allowed to travel again. Cheers, OtL