What would Rand (or even Ron) Paul have done?