Licensed casino operators are prohibited from extending credit to gamblers who are Singapore citizens or permanent residents unless they are ?premium players?. But at what point does that patron cease being a premium player, asked Assistant Professor Eugene Tan.