Ron Paul to join Elon Musk in Trimming Government Fat?