Then JPL has to recognize it.
open google sky and cut and paste this in: 5h 11m 33.74s -12 50' 30.09"
it's there so either google has been punked, or NASA has some splainin to do...