I would just use R134. The conversion is cheap and straightforward and if your system is working properly, it'll spit ice cubes regardless. Because the system is empty, you'll want to have it evacuated and vaccumed. If the leak is large, you'll be able to tell this right away. If it's small...