New to this group and seeking some advice. My wife and I are purchasing a 2025 Mini Cooper S iconic and are selling our 2013 Mini Cooper 2 door hardtop. However, it was determined we need to have the timing belt replaced, which is pretty expensive. The car is in otherwise good condition. The advice is should we fix the car first and sell or seek out a buyer who knows how to work on the vehicle and offer at a lower price? Does anyone in the forum know of someone that purchases used minis and fixes them up to sell?