We begin by discussing a conjectured version of a non-stationary stable manifold theorem for a hyperbolic horseshoe and small perturbations of it, and discuss the techniques needed to achieve such a result. With these techniques in mind, we will conjecture a similar result for the trace maps on a particular family of cubic surfaces, and explain what deductions this result would make about the spectrum of related discrete Schrodinger operators with Sturmian potential.