this type of outlet has been used in houses, mobile homes and trailers for years. The downside is that the contact point is a small single point area rather than a larger area with the newer "backstab" with a plate or a screw attach. For normal resistive loads they work ok, when they tend to cause problems is with inductive loads with high inrush currents. It can eat away at the contact area causing high resistance.
Personally I'm no fan of them, either the type for RV's with the tool that attaches them or the older backstab home outlets. (The current home backstabs use a plate and nut and IMHO are as reliable or more reliable than wrapping around a screw).
I did replace all of my RV outlets with comercial grade outlets in a shallow box. If you do replace yours you need to install a shallow box. The RV outlets are designed such that they do not need a box.