We have Global Entry and TSA Pre-Check and have done more international connections in MIA then I care to count. The one thing we learned very early on is not to use the "Connecting Flights" security checkpoint that just to the left as you exit the Customs Hall since that area (as GaKaye experienced) does not have a dedicated TSA-Precheck line. Do as foreversxm suggested in an earlier response. and make your way to the main terminal area (where the airline check-in counters are located0 and go to one of the regular security checkpoints as the have dedicated TSA-Precheck lines that are the same as found at all US airports. Because of the convoluted way you have to go to get to the main terminal area and the location of the entrance points it will take about an 8 to10 minute walk but you'll avoid the extremely long and slow moving lines at the "Connecting" security checkpoint. We normally make our way to the Security entrance for Terminal E as the lines there always seems to be short or even non-existent.