35mm camera (Henwick RG19)

Can anyone help? I’m still desperately looking for either a Canon or Nikon 35mm film camera for my daughter to use at Bristol university on her 2nd year course.. to replace the canon she had stolen a Reading Festival last month..