B29 and B27 on T4 are the gates I have seen them in when I see pics of them at the gate in JFK. However on a side note, the gates in T4 are general use gates and can be used for any number of flights so getting the exact gate isn't quite as important as it might be at other terminals.