પણ ટિકિટોનાં વેચાણ અને બીજા વિભાગીય દસ્તાવેજોમાં આ સ્ટેશનનું નામ બડકીચાંપી જ છે.