Maybe Trixie Trotton was her stage name. But if her real name was Sylvia, shouldn't Arthur know this, since she trusts him. He does say to Doc and Marty he doesn't know a Sylvia.
So I'm presuming there is some confusion, I think putting in that full on kiss between was a bad decision by the development team. --- I shoot first, drink brandy later. MY VIDEO REVIEWS: http://www.youtube.com/user/WindyCornerTV