First of all, congratulations on your new car, May Allah Paak bless you and keeps you safe (Ameen) .
well, the replacement tyres are not expensive, 155/80 R13 is a tire which is only fited on cultus or hardly two other cars , the shopkeeper having these wants to sell these as its ODD unlike 155/70 R13 etc which can be fitted to almost any car with 13' rim.
i bought tyres from the market neAR railway station (Lahore) . i bought them for 11k only, these are malaysian/indonesian (DONT remember exactly) will confirm after looking closely and i am very satisfied , its been more than a year and NO Punctures etc ALHAMDULILLAH
Also tell me where is this workshop so that i may also get the compression tests etc done 