I know, I know, the usual autocross car that every one loves and is far too common. But I kinda want one. My max budget is $2500 including necessary repairs. Someone near me has one for 2500 obo be needs a new head gasket. How hard is that for the Miata? Should I look elsewhere or make an offer?