I've never seen the movie... but I'd like to eventually. Maybe I can rent it somewhere?
I believe their last name is officially supposed to be Mario... Mario Mario and Luigi Mario. If it's not official, it's at least common, as it's the only name I've ever heard on any Mario sites or the limited fanfiction I've read...