If you just want a , stick with Android 8.1 (official) – it has fewer bugs and full hardware support.
Here is the solid information regarding (often labeled as Android 9.0 Pie). tx3 mini firmware android 9