Is Frogstar a real star?

All the other stars in this game are real, but the top Google results for "Frogstar" are a brand of lithium batteries and the Hitchhiker's Guide to the Galaxy wiki.