They do but you have to be specific about the FLAVOUR.
Look for the "CHANGE" option in the board drop down menu.
Then look for the grey down arrow in the flavour box and change it to suit your type of MEGA.
Also try to avoid USB 3.0 ports as they are known to have some issues with Arduino boards.