P2RX1 and colitis: Furthermore, TxA2 is a P2X1 ion channel agonist and both platelets and P2X1 are required to maintain vascular integrity in a mouse colitis model [107, 108].