Just an FYI... valve cover gasket is no big deal. You can fix it yourself. Very common issue that happens on all M50/M52/M54 and S50/S52's from time to time. Pretty cheap to fix too. That M54 motor is rock solid.
So I went and saw my friend's E36 M3 today that he's selling me... wow Estoril Blue looks so much better in person than in pics. It does need $1-2k worth of TLC but it'll be worth it. E36 M3 is such a great car to drive. I just wonder how much fun it'd be with 400+ whp on tap.

It'll hold me over a month or two til I pick up another Evo 9 or the Z06...