Sigh. Time to do the used car hunting again since the repair shop determined mine was not worth to fix. Checking both online marketplaces and FB, and it seems to be an almost impossible equation to find a car that is at most 10 years old, less than ~125K miles, no major faults and price below $6K.