Fun with Red Extensions