Bootloader binary for the Arduino Due, Where can I get it?

Hi all, I have built my own Arduino Due board as part of a bigger project and now need to program the bootloader so that the Due Programming port works as normal like a purchase standard Due board.

I have found all the articles that tell you how to do this including a very helpful article about setting the fuses in blank ATmega16u2 chips, however I can't find the standard binary (.hex file) for the device.

The Arduino IDE when installed (I used version 1.6.7) has all the bootloader hex files for all of the AVR series devices but not the Due.

If anyone can direct me to where I can get the actual .hex binary used specifically in the Arduino Due board's 16u2 device I would be very grateful.

Arduino Due Bootloader Explained