Thanks for the info. Local mechanic is suggesting $5000 (parts/labor) to replace the engine (with an additional $500 variance on minor parts/labor). He also said that I could technically just keep driving the car as long as it drives fine, as long as I put oil back in to get the light to go...