We demonstrate the power of Experimental Mathematics and Symbolic Computation to study intriguing problems on rational difference equations, studied extensively by Difference Equations giants, Saber Elaydi and Gerry Ladas (and their students and collaborators). In particular we rigorously prove some fascinating conjectures made by Amal Amleh and Gerry Ladas back in 2000. For other conjectures we are content with semi-rigorous proofs. We also extend the work of Emilie Purvine (formerly Hogan) and Doron Zeilberger for rigorously and semi-rigorously proving global asymptotic stability of arbitrary rational difference equations (with positive coefficients), and more generally rational transformations of the positive orthant of $R^k$ into itself