Do you need 80 MHz exactly? I have a number of tcxos around that frequency but I doubt any that are exactly 80 MHz. By the way, $12 for a good crystal doesn't sound all that high. Seems the last ones I bought from ICM for channel elements which aren't all that precise, were close to $20.