As reported to the FAA. Reports are unverified, and codes are left as the FAA publishes them.
What was found
FLIGHT CREW A "PITOT/STATIC COLD - R" MESSAGE DISPLAYED. THE MAINTENANCE VENDOR TROUBLESHOT AND FOUND THE RIGHT PITOT HEAT CURRENT SENSOR FAULTY. THE SENSOR WAS REMOVED AND A NEW SENSOR INSTALLED. ALL WORK AND GROUND FUNCTIONAL CHECKS WERE SATISFACTORY. THE AIRCRAFT WAS RETURNED TO SERVICE.