how much did they pay, Steph...like the other stock holders? I don't know - as I said .. The company and the union arbitrated their deal. Just as has always been done ..