Considering the difference in cost I would throw a speed sensor in there just in case.
Letting the dealer do a pump is not going to be cheap!

__________________
Sent via Telegraph Wires using my Morse Key.
2021 X5 xDrive40i
2015 X5 xDrive35i MSport
(Traded) 2013 X5 xDrive35i