I wouldn't extrapolate the the level of immaturity it takes to make that connection to whoever named the service. The last time I giggled at hearing the word butt as part of a larger word or phrase was probably the second grade (cigarette butts, pork butt, etc)