Thinking about buying a used BMW

[MarkD]

"(the light issues will probably be another 1k)"

You realize that lights for a car cost like $20-50 (this is probably on the high side) right? And it's about 10 minutes (at most) to change it yourself right?

I've never owned a BMW but I doubt is "that" different. It sounds old enough that it would not be a whole bunch of LED lights. Look in your trunk and follow the wiring. This is like paying 1k to have someone change the light bulb in your kitchen. It's mind boggling.