The actual impact of the leave vote is still uncertain, but today Gibraltar has felt the weight of its possible implications.