Hi John,
The replacement was Intellitec Battery Disconnect. Now the invoice says the part number is 45-0019 but when I search that part number for Intellitec that number does not come up, they have different numbers. I believe service probably used the part number that the distributor used for that part as Intellitec sales through distributors. When you search Intellitec Battery Disconnect you can see pictures of the solenoid so you know what to look for.
Hope that helps.