I just had my BB512i A/C serviced and the shop used R134 instead of R12...do you think that will be OK? They did vaccum out all the R12 before adding...