IRA members had sent a warning 37 minutes before the explosion, but the area was not evacuated.
He was apparently wrongly thought to have been an IRA member.
IRA members aren't living in camps in the desert, either.
The action allowed other IRA members to slip out of the area and avoid arrest.
Although there was return fire, all the IRA members made good their escape.
They give 10,000 as the total number of past and present IRA members at that time.
The IRA members fired their weapons from 160 yards away, across the border.
All eight IRA members were killed, having sustained head wounds.
In the same year, they carried out 1,300 bomb attacks and 90 IRA members were killed.
IRA members went into the building and took documents and weapons.