A recent prototype added refinement types to Dotty, but its built-in solver cannot handle linear arithmetic or function unfolding. Stainless, a deductive verifier for Scala, already supports refinement types in its backend and can leverage SMT solvers to discharge complex proof obligations. In this work, we bridge the two systems, allowing Dotty to offload refinement type checks to Stainless. We present examples and provide a practical tutorial.