I ended up buying the Tokina RMC 17mm 3.5 (Vivitar rebranded) on eBay. It's much cheaper than the FD 17mm f4, half a stop brighter and conveniently takes 62mm filters. It is reported to be a very good lens optically, I'll find out if that's true soon. Thanks for your suggestions everyone!