members who joined BMI DC before the system upgrade had their numbers simply transcribed to the new format with the last 7 digits unchanged.
i would suggest simply using 1then the last 7 digits of your number.
The onQ and hilton reservation system does convert the number as i found out at a hotel recently.
Note that this does not immunise you from trouble getting bmi points on hilton reservations.