Not sure, but I paid $400 for the 80MHz version, so given the $500 pricetag of the 40Mhz version and the basically new condition, I certainly don't feel like I got a bad deal.
Haven't heard anything about modding to higher frequencies, but it doesn't seem like the hardware or other specs are any different and I don't have any need for it anyways.