An Android app to control the RV movie player