Four Problems Concerning Recursively Saturated Models of Arithmetic