Was the father's name Mr. Mxyzptlk?
Okay, kidding aside, what nationality/ethnicity are these names? They're quite unusual.
They said the maternal grandmother had visited recently from Puerto Rico. I don't know if they are made up names or ethnic names.
Puerto Rican. Folks in the Caribbean are notoriously creative with names.