RP Chris Devenski $0.4 2023 (from TEX)