Thanks everybody. This is consistent with what I just found on the lonelyplanet forums also.

But wow, four hours is still alot. Typical MCT between terminals from domestic to international is 60-90 minutes at many larger airports. Sure, security issues in Israel require more time for screening, but it would be significantly reduced if it was possible to move within the secure zone between the international and domestic terminals.