Hi Steve,
You could use Paolo Berardi’s spreadsheet which has RA/Dec.
I think Francois Teyssiers spreadsheet which allows you to find all the close A/B stars with low extrinction also identifies the MILES stars
https://britastro.org/node/8152
If you do go back to the original MILES source make sure you chose the spectra uncorrected for extinction
Cheers
Robin