Checkpoint (SecurePlatform) with VLAN interfaces

Hello,
I have no access to a Checkpoint firewall, so I have to ask here how a
firewall running on SecurePlatform (R62) assigns MAC addresses to VLAN
interfaces.
In other words: a Checkpoint firewall has several VLANs configured,
which are connected to a switch with a 802.1q trunk port. I need to
know, if it is possible to have different MAC addresses (for each VLAN
interface).
If this were configurable, what happened if the Checkpoint is running
in HA mode (I suppose in HA mode it already has virtual MAC addresses,
but also only one for all VLANs).

Thank you very much!