no, that is not what you need

I happen to have had an old 5140 and it has a boot menu. It is in the setup option when you first start the computer use the F1 key i believe is what it was! Then read the set up screens for boot order or menu