I'm trying out FriendCaster, since I can't get the regular Facebook app to work on my Galaxy Nexus, and I'm just curious, for notifications, if I select "Realtime push", is that the same as push notifications? I don't really understand it, but I've heard that push notifications don't drain your battery as much as actually setting it to update every 15 or so minutes; is this the case with FriendCaster?